Equational and implicational classes of co-algebras
نویسنده
چکیده
If F : Set → Set is a functor which is bounded and preserves weak generalized pullbacks then a class of F-coalgebras is a covariety, i.e., closed under H (homomorphic images), S (sub-coalgebras) and ∑ (sums), if and only if it can be de0ned by a set of “coequations”. Similarly, quasi-covarieties, i.e., classes closed under H and ∑ , can be characterized by implications of coequations. These results are analogous to the theorems of Birkho4 and of Mal’cev in classical universal algebra. c © 2001 Elsevier Science B.V. All rights reserved.
منابع مشابه
FUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملThe Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known [1]. Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes a...
متن کاملAlgebraically Expandable Classes of Implication Algebras
In this work we solve the following problem: Characterize the subclasses of implication algebras that can be axiomatized by sentences of the form 89! ^ p = q. In the process we obtain a representation result for nite implication algebras, and as a by-product of our solution a number of interesting classes of implication algebras arise. We also obtain a characterization of the congruence permut...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کامل